#ifndef ARCH_OS_H
#define ARCH_OS_H
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "arch_os.h"
uint32_t arch_os_ms_now();
uint32_t arch_os_ms_elapsed(uint32_t last_ms);


#endif
